期刊
  出版年
  关键词
结果中检索 Open Search
Please wait a minute...
选择: 显示/隐藏图片
1. 基于证据自动机的软件回归验证
贾尚坤, 贺飞
计算机应用    2018, 38 (10): 2990-2995.   DOI: 10.11772/j.issn.1001-9081.2018030733
摘要446)      PDF (1103KB)(276)    收藏
为了在多版本程序验证中利用邻近版本之间的共享信息,提取并重用之前版本证据自动机中的循环不变式,提出基于证据自动机的软件回归验证。首先通过证据预处理生成适用于新版程序的证据文件,然后在辅助不变式增强的 k-归纳方法的基础上实现了检验新证据文件及验证新版程序的回归验证过程,最后通过对比实验比较了不使用不变式信息的直接验证与结合或不结合数据流分析的三种回归验证的验证性能。与直接验证相比,不结合与结合数据流分析的回归验证的验证耗时分别减少了49%与75%,而内存消耗分别减少了18%与50%。实验结果表明,当程序满足其验证属性时,基于证据自动机的回归验证能极大地提高验证效率,而将证据自动机与数据流分析相结合的验证方式能得到更好的验证效果。
参考文献 | 相关文章 | 多维度评价
2. 晃动目标抑制的拟周期背景算法
贺飞越 李佳田 徐珩 张蓝 徐燕竹 王红梅
计算机应用    2014, 34 (9): 2691-2696.   DOI: 10.11772/j.issn.1001-9081.2014.09.2691
摘要222)      PDF (1023KB)(435)    收藏

准确的背景模型是目标提取与跟踪的重要基础。针对复杂场景中出现的局部拟周期变化的晃动目标,在多高斯背景模型基础上,提出一种拟周期背景算法(QPBA),用以抑制晃动目标,建立准确而稳定的背景模型。具体过程是:根据多高斯背景模型建立场景目标分类模型,分析晃动目标对高斯模型各参数产生的影响;以颜色分布值为样本建立高斯模型保留晃动所在像元,并以出现频次、时间间隔为权重因子,使晃动像元中的晃动模型融入背景模型。将拟周期背景算法与高斯混合模型(GMM)、背景建模算法(ViBe)、CodeBook等典型背景建模算法进行比较,通过定性、定量与效率三个方面的评估结果表明:拟周期背景算法对晃动目标抑制作用明显,误检率小于1%,可以很好地应对场景中晃动目标干扰;同时正检个数与其他算法保持一致,能够完整地保留运动目标;算法效率高,解算时间与CodeBook算法近似,满足实时性的计算要求。

参考文献 | 相关文章 | 多维度评价